81. Quantum Computer Science
Author: by Marco Lanzagorta, Jeffrey Uhlmann.,Lanzagorta, Marco,
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Quantum computers.,Quantum physics.,Quantum physics.
82. Reachability problems :
Author: Igor Potapov, Pierre-Alain Reynier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
Classification :
QA76
.
76
.
V47
83. SAT 2005 :
Author: edited by Enrico Giunchiglia and Toby Walsh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer algorithms.,Propositional calculus.,Computational complexity.,Computational complexity.,Computer algorithms.,Computer algorithms.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Informatique.,Propositional calculus.,Propositional calculus.
Classification :
QA76
.
9
.
A43
S28
2006eb
84. STOC'10 : proceedings of the 2010 ACM symposium on theory of computing, Cambridge, MA, USA, June 5-8 2010
Author: sponsored by ACM SIGACT; supported by Microsoft Research....]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
Classification :
QA
267
.
7
.
A25
2010
85. STOC'11 : proceedings of the 43rd ACM Symposium on Theory of Computing, June 6-8, 2011, San Jose, California, USA
Author: sponsored by : ACM SIGACT; supported by : Microsoft Research, Google, and IBM
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
Classification :
QA
267
.
7
.
A25
2011
86. STOC'05 : proceedings of the 37th Annual ACM Symposium on Theory of Computing : Baltimore, Maryland, USA, May 22-24, 2005
Author: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
Classification :
QA
267
.
7
.
A25
2005
87. STOC'07 : proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007
Author: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
Classification :
QA
267
.
7
.
A25
2007
88. STOC'06 : proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, Washington, USA, May 21-23, 2006
Author: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
Classification :
QA
267
.
7
.
A25
2006
89. Safe and Efficient Intelligent Intersection Control of Autonomous Vehicles
Author: Lu, Qiang
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Engineering
90. Safe and Efficient Intelligent Intersection Control of Autonomous Vehicles
Author: Lu, Qiang
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Engineering
91. Scheduling Algorithms
Author: by Peter Brucker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network architectures.,Economics.,Mathematical optimization.
Classification :
QA76
.
9
.
C63
B974
2001
92. Scheduling in computer and manufacturing systems.
Author: Jacek Blazewicz
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
TS157
.
5
J334
2012
93. Search Methodologies :
Author: edited by Edmund K. Burke, Graham Kendall.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Economics.,Electronic data processing.,Operations research.,Economics.,Electronic data processing.,Operations research.
Classification :
HD30
.
23
94. Search methodologies :
Author: Edmund K. Burke, Graham Kendall, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Economia.,Informàtica.,Investigació operativa.
95. Search methodologies :
Author: edited by Edmund K. Burke, Graham Kendall.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Decision support systems.,Mathematical optimization.,Search theory.,Décision, Théorie de la.,Optimisation mathématique.,Systèmes d'aide à la décision.,Decision support systems.,Mathematical optimization.,Otimização matemática.,Search theory.,Sistemas de apoio à decisão.
Classification :
T58
.
62
96. Semantic techniques in quantum computation /
Author: edited by Simon Gay, Ian Mackie.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Programming languages (Electronic computers)-- Semantics.,Quantum computers.,Quantum theory.,COMPUTERS-- Hardware-- Mainframes & Minicomputers.,Programmiersprache,Programming languages (Electronic computers)-- Semantics.,Quantencomputer,Quantum computers.,Quantum theory.,Semantik
Classification :
QA76
.
889
.
S36
2010
97. Stream Cipher
Author: / by Andreas Klein
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computational complexity,Algorithms,Electronic books
Classification :
E-BOOK
